$\forall$$s$:QOSet, $a$, $b$, $c$:$\mid$$s$$\mid$. ($a$ $\leq$ $b$) $\Rightarrow$ ($b$ $<$$s$ $c$) $\Rightarrow$ ($a$ $<$$s$ $c$)